<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01//EN">
<html>
<head>
<title>[1423252] missing text node, and font propagation</title>
</head>
<body>
<font color="red">a
<dl>b</dl>
<dt>c
</body>
</html>
